A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace

The security analysis of protocols on theory level cannot guarantee the security of protocol implementations. To solve this problem, researchers have done a lot, and many achievements have been reached in this field, such as model extraction and code generation. However, the existing methods do not take the security of protocol implementations into account. In this paper, we have proposed to exploit the traces of function return values to analyze the security of protocol implementations at the source code level. Taking classic protocols into consideration, for example (like the Needham-Schroeder protocol and the Diffie-Hellman protocol, which cannot resist man-in-the-middle attacks), we have analyzed man-in-the-middle attacks during the protocol implementations and have carried out experiments. It has been shown in the experiments that our new method works well. Different from other methods of analyzing the security of protocol implementations in the literatures, our new method can avoid some flaws of program languages (like C language memory access, pointer analysis, etc.) and dynamically analyze the security of protocol implementations

Frequency selection in absolute phase maps recovery with two frequency projection fringes

In a recent published work we proposed a technique to recover the absolute phase maps of two fringe patterns with different spatial frequencies. It is demonstrated that a number of selected frequency pairs can be used for the proposed approach, but the published work did not provide a guideline for frequency selection. In addition, the performance of the proposed technique in terms of its anti-noise capability is not addressed. In this paper, the rules for selecting the two frequencies are presented based on theoretical analysis of the proposed technique. Also, when the two frequencies are given, the anti-noise capability of technique is formulated and evaluated. These theoretical conclusions are verified by experimental results